NormSubGrp\{i\}($g$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$s$:$\mid$$g$$\mid\rightarrow\mathbb{P}$\{i\}$\mid$ $s$ SubGrp of $g$ \& norm\_subset\_p($g$;$s$)\}